Parameter Learning of Logic Programs for Symbolic-Statistical Modeling

We propose a logical/mathematical framework for statistical parameter learning of parameterized logic programs, i.e. definite clause programs containing probabilistic facts with a parameterized distribution. It extends the traditional least Herbrand model semantics in logic programming to distribution semantics, possible world semantics with a probability distribution which is unconditionally applicable to arbitrary logic programs including ones for HMMs, PCFGs and Bayesian networks. We also propose a new EM algorithm, the graphical EM algorithm, that runs for a class of parameterized logic programs representing sequential decision processes where each decision is exclusive and independent. It runs on a new data structure called support graphs describing the logical relationship between observations and their explanations, and learns parameters by computing inside and outside probability generalized for logic programs. The complexity analysis shows that when combined with OLDT search for all explanations for observations, the graphical EM algorithm, despite its generality, has the same time complexity as existing EM algorithms, i.e. the Baum-Welch algorithm for HMMs, the Inside-Outside algorithm for PCFGs, and the one for singly connected Bayesian networks that have been developed independently in each research field. Learning experiments with PCFGs using two corpora of moderate size indicate that the graphical EM algorithm can significantly outperform the Inside-Outside algorithm

Resonance energy of the barKNN-piYN system

The resonance energies of strange dibaryons are investigated with the use of the \bar{K}NN-\pi Y N coupled-channels Faddeev equation. It is found that the pole positions of the predicted three-body amplitudes are significantly modified when the three-body coupled-channels dynamics is approximated, as is done in the literature, by the effective two-body \bar{K}N interactions.Comment: 14 pages, 5 figure

Surface damage resulting from rolling contact operating in magnetic field

This paper describes the effects of magnetic field in rolling contact tests of steel by using a two-disc configuration and the investigation of mechanisms involved. Two contact conditions, namely pure rolling and rolling with 10% sliding were used together with 0.4 and 1.1 Tesla horizontal static magnetic fields created by permanent magnets. Results of optical and scanning electron microscope observations point out that finer wear particles and smoother worn surfaces are produced in the presence of a magnetic field. It is proposed that finer wear particles result from the movement of subsurface crack initiation towards the surface due to the action of magnetic field

Monitoring of the MU radar antenna pattern by Satellite Ohzora (EXOS-C)

As the first attempt among MST (mesosphere stratosphere troposphere) type radars, the MU (middle and upper atmosphere) radar features an active phased array system. Unlike the conventional large VHF radars, in which output power of a large vacuum tube is distributed to individual antenna elements, each of 475 solid state power amplifier feeds each antenna element. This system configuration enables very fast beam steering as well as various flexible operations by dividing the antenna into independent subarrays, because phase shift and signal division/combination are performed at a low signal level using electronic devices under control of a computer network. The antenna beam can be switched within 10 microsec to any direction within the zenith angle of 30 deg. Since a precise phase alignment of each element is crucial to realize the excellent performance of this system, careful calibration of the output phase of each power amplifier and antenna element was carried out. Among various aircraft which may be used for this purpose artificial satellites have an advantage of being able to make a long term monitoring with the same system. An antenna pattern monitoring system for the MU radar was developed using the scientific satellite OHZORA (EXOS-C). A receiver named MUM (MU radar antenna Monitor) on board the satellite measures a CW signal of 100 to 400 watts transmitted from the MU radar. The principle of the measurement and results are discussed

Stoichiometry control of the electronic properties of the LaAlO_3/SrTiO_3 heterointerface

We investigate the effect of the laser parameters of pulsed laser deposition on the film stoichiometry and electronic properties of LaAlO_3/SrTiO_3 (001) heterostructures. The La/Al ratio in the LaAlO_3 films was varied over a wide range from 0.88 to 1.15, and was found to have a strong effect on the interface conductivity. In particular, the carrier density is modulated over more than two orders of magnitude. The film lattice expansion, caused by cation vacancies, is found to be the important functional parameter. These results can be understood to arise from the variations in the electrostatic boundary conditions, and their resolution, with stoichiometry.Comment: 4 pages, 3 figures, submitted for publicatio

Interspecific differences in the larval performance of Pieris butterflies (Lepidoptera: Pieridae) are associated with differences in the glucosinolate profiles of host plants

The tremendous diversity of plants and herbivores has arisen from a coevolutionary relationship characterized by plant defense and herbivore counter adaptation. Pierid butterfly species feed on Brassicales plants that produce glucosinolates as a chemical deterrent against herbivory. In turn, the larvae of pierids have nitrile specifier proteins (NSPs) that are expressed in their gut and disarm glucosinolates. Pierid butterflies are known to have diversified in response to glucosinolate diversification in Brassicales. Therefore, each pierid species is expected to have a spectrum of host plants characterized by specific glucosinolate profiles. In this study, we tested whether the larval performance of different Pieris species, a genus in Pieridae (Lepidoptera: Pieridae), was associated with plant defense traits of putative host plants. We conducted feeding assays using larvae of three Pieris species and 10 species of the Brassicaceae family possessing different leaf physical traits and glucosinolate profile measurements. The larvae of Pieris rapae responded differently in the feeding assays compared with the other two Pieris species. This difference was associated with differences in glucosinolate profiles but not with variations in physical traits of the host plants. This result suggests that individual Pieris species are adapted to a subset of glucosinolate profiles within the Brassicaceae. Our results support the idea that the host ranges of Pieris species depend on larval responses to glucosinolate diversification in the host species, supporting the hypothesis of coevolution between butterflies and host plants mediated by the chemical arms race